Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
151	An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ Linh Anh Nguyen1,2 and Joanna Goli´ nska-Pilarek3 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-09-03 07:12:26 Automated theorem proving Method of analytic tableaux
152	CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:12:42 Theoretical computer science Automated theorem proving Logic in computer science Proof assistants Formal methods Isabelle Type theory HOL Automated reasoning Computer algebra system Vienna Development Method Software development
153	COMP 520 FallType checking (1) COMP 520 Fall 2007 Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-15 11:10:49 Type theory Symbol Type system Mathematical logic Logic in computer science Theoretical computer science Automated theorem proving Logic programming
154	Analysis of Cryptographic Protocols using Logics of Belief: an Overview David Monniaux ´ Ecole Normale Sup´erieure Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:19 Automated theorem proving BurrowsAbadiNeedham logic -calculus Modal logic RSA
155	TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur Add to Reading List Source URL: www.tableaux11.unibe.ch Language: English Logic Mathematical logic Theoretical computer science Automated theorem proving Proof theory Methods of proof International Workshop on First-Order Theorem Proving Melvin Fitting Natural deduction Sequent calculus Modal logic Method of analytic tableaux
156	Ambivalent Types for Principal Type Inference with GADTs Jacques Garrigue1 and Didier R´emy2 1 Nagoya University, Graduate School of Mathematics Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:37:28 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Orbifold Symbol
157	c 2006 International Press ! COMM. MATH. SCI. Vol. 4, No. 1, pp. 267–273 Add to Reading List Source URL: www.dam.brown.edu Language: English - Date: 2007-06-06 15:27:46 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution
158	Higher Order Rippling in IsaPlanner Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK {lucas.dixon, jacques.fleuriot}@ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-01-25 09:28:59 Automated theorem proving Heuristics Rippling Economy Money E-commerce IsaPlanner Reference Ripple Mathematical proof Annotation Planner
159	A type system for Continuation Calculus Herman Geuvers Radboud University Nijmegen, Technical University Eindhoven, the Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-12 17:56:59 Mathematics Logic Mathematical logic Type theory Automated theorem proving Logic programming Models of computation Logic in computer science Substitution Structure Model theory Parity of a permutation
160	De Bruijn’s ideas on the Formalization of Mathematics Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Foundation of Mathematics for Computer-Aided Formalization Padova, 9-11 January 201 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-01-17 04:22:03 Type theory Philosophy of mathematics Proof assistants Automath Automated theorem proving Proof theory Nicolaas Govert de Bruijn Mathematical proof Foundations of mathematics Mathematical logic Theorem Mathematics

UPDATE